$\forall$$a$,$b$:$\mathbb{N}$. ($a$ = $b$) $\Leftarrow\!\Rightarrow$ ($\uparrow$($a$ =$_{0}$ $b$))